From Timethreads to LOTOS: A First Pass
نویسنده
چکیده
A LOTOS interpretation of the Timethread notation is given in this document. Timethreads are an informal technique that focuses on end-to-end behaviours of a system while LOTOS is a formal technique with well developed theories of transformation, validation and testing. Timethreads constructors and their interpretation are discussed in the context of their possible use as a thinking tool in a design framework.
منابع مشابه
LOTOS Interpretation of Timethreads: A Method and a Case Study
Timethreads are a new notation for visual description of path behavior. Also, a design process based on timethreads, namely timethread-centered design process, has been defined. In this report, we discuss the integration of the FDT LOTOS in the timethread-centered design process. The objective of such an integration is to provide formal support for timethread transformations with LOTOS. For thi...
متن کاملFormalization of Timethreads Using LOTOS
Timethreads are a new notation for visual description of the different causality paths of a system. They illustrate causality sequences of activities through systems. A design process based on the use of timethreads has already been defined. The Formal Description Technique LOTOS (Language Of Temporal Ordering Specification) is a specification language based on the temporal ordering of observat...
متن کاملFormal Support for Design Techniques: A Timethreads-LOTOS Approach
A design methodology which allies the graphical expressiveness of the timethread notation with the analytical power of the LOTOS language and its associated tools is presented. The concept of timethread is at the basis of a design methodology based on scenarios. A simple telephone system is used as an example. It is shown how the main scenarios of such a system can be expressed by the timethrea...
متن کاملSingle DV-DXCCII Based Voltage Controlled First Order All-pass Filter with Inverting and Non-inverting responses
In this paper, a new voltage controlled first order all-pass filter is presented. The proposed circuit employs a single differential voltage dual-X second generation current conveyor (DV-DXCCII) and a grounded capacitor only. The proposed all-pass filter provides both inverting and non inverting voltage-mode outputs from the same configuration simultaneously without any matching condition. Non-...
متن کاملLOTOS enhancement to specify time constraint among non-adjacent actions using first order logic
In this paper, we propose a language LOTOS/T, which is an enhancement of Basic LOTOS. LOTOS/T enables us to describe time constraints in formulas of 1st-order predicate logic. The user only describes the logical relation of time at which each action must be executed. Use of equality (=) and inequality ( ) as the time constraints enables us to describe intervals, timeout and delay easily. We de ...
متن کامل